Traces are generally considered to constitute an ontologically distinct class of objects that can be distinguished from other objects. However, it can be observed on close inspection that the principles to demarcate traces from other objects are quite general, imprecise and intuitively unclear, except perhaps the entropic account envisaging traces as low entropy states. This view was developed by Hans Reichenbach, Adolf Grünbaum, and J. J. C. Smart on the basis of Reichenbach's theory of branch systems that are subsystems of (...) wider systems. According to this theory, traces form within subsystems as low entropy states as a result of interaction with wider systems. It is also claimed that entropy is the measure of disorder, and that traces are ordered states. I argue that the concepts of entropy and disorder are used beyond their legitimate limits of application, for there are clear-cut counter-examples in the literature. I also analyze the concept of trace together with some examples from classical mechanics and geology in order to show that traces are determined relative to a particular context in which they are so defined. (shrink)

We prove that certain pairs of ordered structures are dependent. Among these structures are dense and tame pairs of o-minimal structures and further the real field with a multiplicative subgroup with the Mann property, regardless of whether it is dense or discrete.

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...) do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

Turkey and many countries, the school has closed, or partially or completely due to covid 19 pandemic. Schools remained closed until a certain time in Turkey. Afterwards, its opening has been postponed until certain dates. In the second half of 2019-2020 and in the first and second half of 2020-2021, students were mostly deprived of face-to-face education. This study, which aims to describe the problems experienced by RE teachers in the learning-teaching process during the epidemic period, was designed according to (...) a case study, one of the qualitative research methods. The study group consists of 8 RE teachers, four of them male and four female. The data collection tool is a semi-structured interview form. The data were subjected to content analysis, and NVIVO 12 program was used. RE teachers experienced problems regarding technique, absenteeism, pre-lesson preparation, learning environment, teaching methods, motivation, communication, time and measurement-evaluation. Although these negative situations have occurred, it can be said that teachers are willing to use the gains in distance education with normalization and aim to take learning out of the classroom in this way. It can be suggested to researchers to study the concepts of classroom privacy and digital world ethics within the framework of education. Improving the technology use competencies of RE teachers can also be suggested to the relevant institutions. (shrink)

Ibn al-ʻArabī, 1165-1240.; Fuṣūṣ al-ḥikam; criticism and interpretation; Islamic philosophy; early works to 1800.

In this essay, after first briefly reviewing the literature on experimental philosophy and how and why it is important especially for contemporary analytic philosophy, we focus on two earliest experimental research papers on free will intuitions. We also present psychological mechanisms that try to explain why both philosophers and ordinary people have incompatibilist and compatibilist intuitions and free will and moral responsibility. We then move on to another experimental research on moral intuitions and develop a dual process model based on (...) the model to explain moral intuitions. However, our dual interacting-process model is not intended for moral intuitions but free will intuitions. Finally, we critically examine other mechanism and briefly defend our model. (shrink)

Concepts, such as death, life and spirit cannot be known in their quintessential nature, but can be defined in accordance with their effects. In fact, those who think within the mode of pragmatism and Cartesian logic have ignored the metaphysical aspects of these terms. According to Islam, the entity that moves the body is named the soul. And the aliment of the soul is air. Cessation of breathing means leaving of the soul from the body. Those who agree on the (...) diagnosis of brain death may not able to agree unanimously on the rules that lay down such diagnosis. That is to say, there are a heap of suspicions regarding the diagnosis of brain death, and these suspicions are on the increase. In fact, Islamic jurisprudence does not put provisions, decisions on suspicious grounds. By virtue of these facts, it can be asserted that brain death is not absolute death according to Islamic sources; for in the patients diagnosed with brain death the soul still has not abandoned the body. Therefore, these patients suffer in every operation performed on them. (shrink)

Ethics and morality, fundamental concepts in human society, are expected to be upheld by individuals and effectively taught by teachers to new generations. This study delves into the perceptions of preservice teachers regarding ethics and good within the framework of an ethics and morality course in education. It also explores the ethical and unethical behaviors these teachers most commonly encounter in their school experiences. Utilizing a qualitative case study methodology, the research provides an in-depth analysis of ethics, the concept of (...) good, ethical and unethical behaviors within the Turkish context. Through thematic analysis of data collected over various weeks, the findings reveal that participants perceive ethics as actions, individuals, and ideas that embody values such as justice, respect, and honesty. Their decision-making is influenced by diverse ethical filters aligned with normative ethical theories. For instance, an act is deemed ethical if it does not limit freedom and harm others, conforms to societal norms, benefits others, adheres to laws and rules, instills a sense of righteousness, and stems from good intentions. Furthermore, the study identifies six key qualities defining the concept of good: evoking happiness, being beneficial, proper, pure, preferred, and encompassing both moral and ethical dimensions. The experiences of ethical and unethical acts among participants predominantly relate to themes of inequality versus justice, harshness versus love, ineffective versus effective teaching, inconsistency versus role model behaviors, undesired versus desired relationships with school stakeholders, and the breach versus balance between professional and private life. Overall, this research highlights significant aspects of how preservice teachers perceive the concepts of ethics and good along with unethical behaviors, offering valuable insights for teacher education. (shrink)

We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{SC2Int}\) is that it makes use of two kind of sequents, one representing proofs, the other representing refutations. The structural rules of \(\mathtt{SC2Int}\), in particular its cut rules, are shown to be admissible. Next, interaction rules are defined that allow transitions from proofs to refutations, and vice versa, mediated through (...) two different negation connectives, the well-known implies-falsity negation and the less well-known coimplies-truth negation of \(\mathtt{2Int}\). By assuming that the interaction rules have no impact on the identity of derivations, the concept of inherited identity between derivations in \(\mathtt{SC2Int}\) is introduced and the notions of positive and negative synonymy of formulas are defined. Several examples are given of distinct formulas that are either positively or negatively synonymous. It is conjectured that the two conditions cannot be satisfied simultaneously. (shrink)

This paper is critically engaged in the elaboration of the securitization and stigmatization of migration and Islam in the West, which is believed to be leading to the rise of Islamophobic sentiments and to the backlash of both multiculturalism and republicanism. Migration has been framed as a source of fear and instability for the nation-states in the West in a way that constructs ‘communities of fear’. It will be claimed that both securitization and Islamophobia have recently been employed by the (...) neo-liberal states as a form of governmentality in order to control the masses in ethno-culturally and religiously diverse societies at the expense of deepening the already existing cleavages between majority and minorities with Muslim background. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

The epistemic basic structure of a society consists of those institutions that have the greatest impact on individuals’ opportunity to obtain knowledge on questions they have an interest in as citizens, individuals, and public officials. It plays a central role in the production and dissemination of knowledge and in ensuring that people have the capability to assimilate this knowledge. It includes institutions of science and education, the media, search engines, libraries, museums, think tanks, and various government agencies. This article identifies (...) two demands of justice that apply specifically to the institutions that belong to it. First, the epistemic basic structure should serve all citizens fairly and reliably. It should provide them with the opportunity to acquire knowledge they need for their deliberations about the common good, their individual good, and how to pursue them. Second, the epistemic basic structure should produce and disseminate the knowledge that various experts and public officials need to successfully pursue justice and citizens need to effectively exercise their rights. After arguing for these duties, I discuss what policies follow from them and respond to the worry that these duties have illiberal implications. (shrink)

The origins of proof-theoretic semantics lie in the question of what constitutes the meaning of the logical connectives and its response: the rules of inference that govern the use of the connective. However, what if we go a step further and ask about the meaning of a proof as a whole? In this paper we address this question and lay out a framework to distinguish sense and denotation of proofs. Two questions are central here. First of all, if we have (...) two different derivations, does this always lead to a difference, firstly, in sense, and secondly, in denotation? The other question is about the relation between different kinds of proof systems with respect to this distinction. Do the different forms of representing a proof necessarily correspond to a difference in how the inferential steps are given? In our framework it will be possible to identify denotation as well as sense of proofs not only within one proof system but also between different kinds of proof systems. Thus, we give an account to distinguish a mere syntactic divergence from a divergence in meaning and a divergence in meaning from a divergence of proof objects analogous to Frege’s distinction for singular terms and sentences. (shrink)

In this paper we will consider the existing notions of bilateralism in the context of proof-theoretic semantics and propose, based on our understanding of bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under this name before in that we do not consider multiple speech acts as the core of such a theory but rather multiple consequence relations. We will argue that for this aim the most beneficial proof-theoretical realization is to use sequent calculi with (...) multiple sequent arrows satisfying some specific conditions, which we will lay out in this paper. We will unfold our ideas with the help of a case study in logical tetralateralism and present an extension of Almukdad and Nelson’s propositional constructive four-valued logic by unary operations of meaningfulness and nonsensicality. We will argue that in sequent calculi with multiple sequent arrows it is possible to maintain certain features that are desirable if we assume an understanding of the meaning of connectives in the spirit of proof-theoretic semantics. The use of multiple sequent arrows will be justified by the presence of congruentiality-breaking unary connectives. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

The teaching of ethics in teacher education programs is crucial for fostering the moral and ethical development of prospective teachers and shaping them into ethical role models for future students. This study, employing qualitative case study research, gathered data from undergraduates in teacher education programs to explore the best approaches for ethics education. It found that combining digital and case-based pedagogical methods, fostering an open-minded attitude among lecturers, and implementing a blend of Socratic and active learning techniques leads to the (...) most favorable outcomes. Additionally, continuous formative assessment throughout the academic year is essential. To cultivate a teaching workforce with strong ethical and moral values, undergraduate courses in ethics and morality should be thought-provoking, integrating real-life cases with a mix of digital and tangible resources. The ethics course lecturer should not only serve as a role model and exhibit a caring disposition but also use effective teaching methodologies. The paper details key themes and categories for successful ethics instruction and offers specific recommendations. (shrink)

This book theorizes and applies critical communication pedagogy in mediated contexts, including social justice-oriented approaches, to the use of both traditional and new media in the classroom.

Seemingly a minor part of L’Imaginaire, Sartre’s literary examples therein are of great significance especially in the way they highlight the implicit yet crucial role of linguistic signs and words in his psychology of the image. While commenting on the act of reading a novel, he views literary words practically as images, endowing them with both an affective and representative status and illustrating the word-image through the figure of a drawing or dessin. The novel’s word-images or dessins solve an important (...) problem in his phenomenology: in order to represent, they do not need an original perception as other, more typical images do. While the dessin suggests the opportune possibility of representation without presentation, it also introduces ambiguity in meaning, running counter to Sartre’s demand that linguistic signification be clear and transparent. Sartre attempts to contain such ambiguity by ascribing the image-like, representative use of words to poetry in What’s Literature? but I argue that the dessin indeed allows for a more comprehensive understanding of the linguistic sign and representation that covers both poetry and prose. (shrink)